Digital Library


Search: "[ author: Lee Jong Kun ]" (4)
    Modeling and Analysis of Flexible Compose Schedule of FMC
    Lee Jong Kun The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 7, pp. 1817-1824, Jul. 1999
    10.3745/KIPSTE.1999.6.7.1817

    Design and Verification of a Group RPC Protocol for A Support Distributed System
    Lee Jong Kun, Lee Chang Seuk, Lee Kwang Hui The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 2, pp. 475-487, Feb. 1998
    10.3745/KIPSTE.1998.5.2.475

    Software Complexity Measure Based on Program Control Structure Using Petri Nets
    Lee Jong Kun, Song You Jin The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 2, No. 3, pp. 335-342, Apr. 1995
    10.3745/KIPSTE.1995.2.3.335

    A formal Definition of Semi-Join Based Reduction Method of Petri Nets
    Lee Jong Kun The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 1, No. 2, pp. 202-214, Jul. 1994
    10.3745/KIPSTE.1994.1.2.202